Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
3

Sozialer Konstruktivismus kompakt

Рік:
2006
Мова:
german
Файл:
PDF, 259 KB
german, 2006
5

Problematizing data-driven urban practices: Insights from five Dutch ‘smart cities’

Рік:
2019
Мова:
english
Файл:
PDF, 556 KB
english, 2019
6

Some definitions of negation leading to paraconsistent logics

Рік:
1984
Мова:
english
Файл:
PDF, 150 KB
english, 1984
8

Some Results in Aczel-Feferman Logic and Set Theory

Рік:
1982
Мова:
english
Файл:
PDF, 405 KB
english, 1982
9

Predicate calculus and naive set theory in pure combinatory logic

Рік:
1981
Мова:
english
Файл:
PDF, 394 KB
english, 1981
10

Dual Clutch Transmission With Dry Clutch and Electro-Mechanical Actuation

Рік:
2010
Мова:
english
Файл:
PDF, 711 KB
english, 2010
17

On binary reflected Gray codes and functions

Рік:
2008
Мова:
english
Файл:
PDF, 158 KB
english, 2008
18

Locating terms in the Stern–Brocot tree

Рік:
2010
Мова:
english
Файл:
PDF, 720 KB
english, 2010
19

Implementing the ‘Fool's model’ of combinatory logic

Рік:
1991
Мова:
english
Файл:
PDF, 1.69 MB
english, 1991
20

Category theory based on combinatory logic

Рік:
1984
Мова:
english
Файл:
PDF, 734 KB
english, 1984
21

A one axiom set theory based on higher order predicate calculus

Рік:
1983
Мова:
english
Файл:
PDF, 366 KB
english, 1983
22

Predicate calculus of arbitrarily high finite order

Рік:
1983
Мова:
english
Файл:
PDF, 516 KB
english, 1983
23

Child’s addition in the Stern–Brocot tree

Рік:
2012
Мова:
english
Файл:
PDF, 293 KB
english, 2012
24

Pure Type Systems with More Liberal Rules

Рік:
2001
Мова:
english
Файл:
PDF, 425 KB
english, 2001
25

Numerical integration of ordinary differential equations with rapidly oscillatory factors

Рік:
2015
Мова:
english
Файл:
PDF, 368 KB
english, 2015
26

On adding (ξ) to weak equality in combinatory logic

Рік:
1989
Мова:
english
Файл:
PDF, 400 KB
english, 1989
30

A paradox in illative combinatory logic.

Рік:
1970
Мова:
english
Файл:
PDF, 183 KB
english, 1970
31

Closed form expressions for two harmonic continued fractions

Рік:
2017
Мова:
english
Файл:
PDF, 95 KB
english, 2017
32

Slowly varying, macroscale models emerge from microscale dynamics over multiscale domains

Рік:
2017
Мова:
english
Файл:
PDF, 773 KB
english, 2017
41

Some Inconsistencies in Illative Combinatory Logic

Рік:
1974
Мова:
english
Файл:
PDF, 172 KB
english, 1974
42

Equality in with Restricted Subjects

Рік:
1978
Мова:
english
Файл:
PDF, 130 KB
english, 1978
43

An extension of Klop's counterexample to the Church-Rosser property to λ-calculus with other ordered pair combinators

Рік:
1985
Мова:
english
Файл:
PDF, 268 KB
english, 1985
44

Combinatory abstraction using B, B′ and friends

Рік:
1994
Мова:
english
Файл:
PDF, 1017 KB
english, 1994
46

Linking the Calkin–Wilf and Stern–Brocot trees

Рік:
2010
Мова:
english
Файл:
PDF, 534 KB
english, 2010
47

Arithmetic based on the Church numerals in illative combinatory logic

Рік:
1988
Мова:
english
Файл:
PDF, 589 KB
english, 1988
48

Some generalizations to two systems of set theory based on combinatory logic

Рік:
1987
Мова:
english
Файл:
PDF, 314 KB
english, 1987
49

Set theory in predicate calculus with equality

Рік:
1983
Мова:
english
Файл:
PDF, 198 KB
english, 1983